1./2. Fundamentals of Ion Sources Daniela Leitner (LBNL, MSU), Damon Todd (LBNL), Daniel Winklehner (MIT) Course Organization

Source URL: www-eng.lbl.gov

REACTION DYNAMICS Spectroscopic observation of resonances in the F + H2 reaction Jongjin B. Kim,1* Marissa L. Weichman,1 Tobias F. Sjolander,1 Daniel M. Neumark,1,2† Jacek Kłos,3 Millard H. Alexander,3,4† David E.

Source URL: bromine.cchem.berkeley.edu

Rail Highway Grade Crossing Roughness Quantitative Measurement Using 3D Technology Teng Wang1, Reginald R. Souleyrette1, Daniel Lau2, and Peng Xu3 1 Department of Civil Engineering, University of Kentucky, Lexington, KY

Source URL: www.nurailcenter.org

1 GIS and Spatial Agent-Based Model Simulations for Sustainable Development Claudio Cioffi-Revilla1, J. Daniel Rogers2, and Atesmachew Hailegiorgis1 1

Source URL: cs.gmu.edu

AgreementMakerLight: A Scalable Automated Ontology Matching System Daniel Faria1 , Catia Pesquita1,2 , Emanuel Santos2 , Isabel F. Cruz3 , and Francisco M. Couto1,2 1 LASIGE, Faculdade de Ciˆencias, Universidade de Lisb

Source URL: dils2014.inesc-id.pt

It’s not just what you say, it’s how you say it: Intonation, yes and no∗ Daniel Goodhue & Michael Wagner McGill University 1.

Source URL: semanticsarchive.net

PHYSICAL REVIEW E 85, Statistical properties of avalanches in networks Daniel B. Larremore,1,2,* Marshall Y. Carpenter,1 Edward Ott,3,4 and Juan G. Restrepo1 1 Department of Applied Mathematics, University

Source URL: danlarremore.com

Quantifying Rail-Highway Grade Crossing Roughness: Accelerations and Dynamic Modeling Teng Wang1, Reginald R. Souleyrette1, Daniel Lau2, Ahmed Aboubakr3 and Edward Randerson3 1 Department of Civil Engineering, Universit

Source URL: www.nurailcenter.org

1 Differentialgeometrie Daniel Grieser Skript zur Vorlesung im Wintersemester Überarbeitet 2013

Source URL: www.staff.uni-oldenburg.de

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies